logic semantics

[ˈlɔdʒik sɪˈmæntɪks]
  • 释义

    [计]逻辑语义学;

数据更新时间:2024-12-23 00:04:53
1、

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

互联网摘选

2、

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

互联网摘选

3、

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

互联网摘选

4、

A revisory Kipke semantics weakens Logic Omniscience Problems and remains those reasonable epistemic properties.

在一种修正的可能世界语义学下,削弱了“逻辑全能问题”,幷且保留了那些合理的认知性质.

互联网摘选

5、

At first, he developed a modal logic semantics, and has achieved notable successes.

起初,他发展了模态逻辑语义学,并取得了引人注目的成就。

互联网摘选

6、

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • cbg['si:b'i:dʒ'i:] abbr.corticosteroid-binding globulin 皮质类固醇结合球蛋白;网络血糖;蛋白;皮质类固醇结合球蛋白;皮质激素结合蛋白;毛细血管全血葡萄糖
  • who are you[huː ɑː(r) ju] 你是谁
  • XML[ˌeks em ˈel] abbr.Extensible Markup Language 可扩展标记语言;网络文件;扩展标记语言;可扩展标记语言;可扩展标识语言;可扩展置标语言
  • hertz[hɜ:ts] n.<电>赫,赫兹(频率单位);周秒;
  • late[leɪt] adj. 晚的,迟到的;时间不早的;已故的;原来的,之前的;临近终了的;adv. 晚,迟;后期地;最近地;
  • slut[slʌt] n.荡妇,懒妇,母狗;邋遢女人;淫妇;懒婆娘
  • two girls one cup 两个女孩一杯;两女一杯;二女一杯
  • fruit[fruːt] n.成果;水果;果实;(大地的)产物;vi.树或花草结果;
  • housewife[ˈhaʊswaɪf] n.家庭主妇;家庭妇女;
  • evil[ˈiːvl] adj.邪恶的;有害的;令人作呕的;n.罪恶;坏处;
  • frequency[ˈfriːkwənsi] n.频繁性;[数][物]频率,次数;频率分布;
  • racial[ˈreɪʃl] adj.种族的;人种的;存在或发生于种族之间的;

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈